gt($i$; $j$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$j$ $<$ $i$